Change Iagno renamed desktop id.

Iagno is org.gnome.Reversi,
instead of org.gnome.Iagno.

diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 5f17c806de8deb8b33d5ca997606fe8eac1186e5..7def1571ebdf60f90e9b80a9dd453cce5dc18931 100644 (file)
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -41,7 +41,7 @@ const RENAMED_DESKTOP_IDS = {
     'gnotravex.desktop': 'gnome-tetravex.desktop',
     'gnotski.desktop': 'gnome-klotski.desktop',
     'gtali.desktop': 'tali.desktop',
-    'iagno.desktop': 'org.gnome.Iagno.desktop',
+    'iagno.desktop': 'org.gnome.Reversi.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
     'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop',
     'polari.desktop': 'org.gnome.Polari.desktop',